English program verification: перевод на другие языки